(0 20 15)(1 19 17)(2 7 4)(3 11 9)(5 12 10)(6 14 8)(13 18 16)
ALLOWS (11/8)-SEQUENCE
1: (5 10 12)
(0 20 15)(1 19 17)(2 7 4)(3 11 9)(5 10 12)(6 14 8)(13 18 16)
2: (3 11 9)
(0 20 15)(1 19 17)(2 7 4)(3)(5 10 12)(6 14 8)(9)(11)(13 18 16)
3: (5 10 12)
(0 20 15)(1 19 17)(2 7 4)(3)(5)(6 14 8)(9)(10)(11)(12)(13 18 16)
4: (2 7 4)
(0 20 15)(1 19 17)(2)(3)(4)(5)(6 14 8)(7)(9)(10)(11)(12)(13 18 16)